<?php
function test()
{
  echo '13';
  die;
}
